一种Android终端控制物联网结点的技术应用

提出了一种对楼宇分体空调进行集中管理的方法,结合物联网的构成及实际应用模式,探索并将其理论方法引入到系统中来,构建了一个基于物联网的分体空调远程集中控制系统。通过Android终端设备,可对系统运行情况进行实时监控和管理。经实验测试验证,该集中控制节点及感知节点的设计满足系统的要求,可靠性高,成本低,功能强。     

双MicroBlaze软核处理器的SOPC系统设计

设计了一款基于双MicroBlaze软核处理器、面向嵌入式领域的SOPC系统,在信息处理繁忙的情况下,实现两软核处理器之间的同步、通信和中断功能,提高信息吞吐率和系统灵活性,降低设备尺寸。两处理器之间通过Mutex模块实现同步功能,通过Mailbox模块实现通信和中断功能,通过共享BRAM模块实现大块通信功能,并进行了有效的功能验证。该SOPC系统在XUPV5－LX110T开发板上得到验证。测试结果表明,两软核处理器之间有效地实现了同步,通信和中断功能,达到了预期的效果,验证了方案的有效性。     

浅谈嵌入式操作系统在航天领域中的应用

基于对国内星载软件现状的分析,阐述了引入嵌入式操作系统对系统性能的影响,并介绍了几种典型的嵌入式实时操作系统(RTOS),总结了在航天领域中选用操作系统的几点原则,最后通过比较4种典型的嵌入式实时操作系统,探讨了航天领域中选用哪种实时操作系统较适合。     

军事信息安全保障体系构建及关键技术研究

信息技术在军事领域的广泛应用,使得信息成为战争的重要战略资源,因此也使得许多军事强国以情报战、间谍战、电子战和网络战等方式搜集我国军事情报,这使得我军军事信息安全受到严重威胁。文章简要介绍了当前军事信息安全面临的威胁,解决这些威胁应采取的安全技术,最后对安全保障体系的构建提出设想。     

Stability of a class of switched positive linear time‐delay systems

This paper addresses the problem of stability for a class of switched positive linear time‐delay systems. As first attempt, the Lyapunov–Krasovskii functional is extended to the multiple co‐positive type Lyapunov–Krasovskii functional for the stability analysis of the switched positive linear systems with constant time delay. A sufficient stability criterion is proposed for the underlying system under average dwell time switching. Subsequently, the stability result for system under arbitrary switching is presented by reducing multiple co‐positive type Lyapunov–Krasovskii functional to the common co‐positive type Lyapunov–Krasovskii functional. A numerical example is given to show the potential of the proposed techniques. Copyright © 2012 John Wiley & Sons, Ltd.     

Stochastic stability and robust stabilization of semi‐Markov jump linear systems

The semi‐Markov jump linear system (S‐MJLS) is more general than the Markov jump linear system (MJLS) in modeling some practical systems. Unlike the constant transition rates in the MJLS, the transition rates of the S‐MJLS are time varying. This paper focuses on the robust stochastic stability condition and the robust control design problem for the S‐MJLS with norm‐bounded uncertainties. The infinitesimal generator for the constructed Lyapunov function is first derived. Numerically solvable sufficient conditions for the stochastic stability of S‐MJLSs are then established in terms of linear matrix inequalities. To reduce the conservativeness of the stability conditions, we propose to incorporate the upper and lower bounds of the transition rate and meanwhile apply a new partition scheme. The robust state feedback controller is accordingly developed. Simulation studies and comparisons demonstrate the effectiveness and advantages of the proposed methods. Copyright © 2012 John Wiley & Sons, Ltd.     

江边水电站首部枢纽引水防沙设计研究

江边水电站的泥沙问题突出.通过水工模型试验对该枢纽的相关泥沙问题展开了研究.试验结果表明:在原枢纽布置方案的基础上增设扰沙坎,可以有效地降低沙面高程,保证进水口“门前清”;汛期限制水位运行,当流量或淤积达到一定程度时停机拉沙,可以保证水库淤积平衡后调节库容最大;电站可不设置沉沙池.库尾张家沟泥石流的主要影响是增大干流局...     

泸定水电站大坝反滤料生产系统工艺流程设计

泸定水电站大坝反滤料生产系统承担着50万m3反滤料的生产任务.该系统在设计过程中,对料源情况、反滤料质量技术要求和大坝填筑工期进度等客观条件进行了深入分析和充分论证,最终确定了反滤料生产系统的生产能力(毛料400 t/h、成品料350 t/h)和建设规模,提出了有针对性的工艺流程.目前该系统已建成投产,产品质量稳定,满足设计要求.     

海岸裂流的浮子示踪法实验测量

研究模型实验中采用浮子示踪法测量沙坝海岸裂流的方法,讨论了该方法的具体技术实现和测量结果的精度。实验中裂流由波浪在垂直岸线的直墙上的反射所形成的两列交叉的波浪生成。通过处理CCD图像的浮子轨迹得到了流场的详细速度分布,如旋涡分布等,显示了该方法优于流速仪定点测量的一些特点。与ADV流速仪测量结果的对比表明,由浮子轨迹得到的表层平均流速具有可靠的精度,特别是也可以应用于波浪破碎产生的裂流这样复杂流场的测量。     

基于GIS的乌江流域新安江模型参数率定

为了使新安江模型的运用更能真实反映流域的基本特征及产汇流机理,利用地理信息系统空间分析的功能,由数字高程模型导出乌江武隆以上流域的流域排水网,并在此基础上提取汇流长度及坡度等地形特征值。在地理信息系统平台上,计算出流域下垫面的植被、土壤、地貌等特征值,并将其与流域模型参数建立相关关系。结果表明,各流域模拟的确定性系数及模拟精度均较高。因此,预报结果更加合理,理论依据也更加可靠。